package expresso_plugin.editors;

import org.eclipse.ui.editors.text.TextEditor;

public class ExpressoEditor extends TextEditor {

	private ColorManager colorManager;

	public ExpressoEditor() {
		super();
		colorManager = new ColorManager();
		setSourceViewerConfiguration(new ExpressoConfiguration());
		setDocumentProvider(new ExpressoDocumentProvider());
	}
	public void dispose() {
		colorManager.dispose();
		super.dispose();
	}
	
	

}
